翻訳と辞書 |
Tee (symbol) : ウィキペディア英語版 | Tee (symbol) The tee (⊤), also called down tack (as opposed to the up tack) or verum is a symbol used to represent: * The top element in lattice theory. * A logical constant denoting a tautology in logic. * The top type in type theory. == Encoding == In Unicode, the tee character is encoded as .〔(【引用サイトリンク】 url=http://www.unicode.org/charts/PDF/U2200.pdf )〕 The symbol is encoded in LaTeX as \top .
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Tee (symbol)」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|